（来源：上观新闻）
” 多国🥌竞逐的背🇧🇭🥘后，是AI4S赛🌦💈道蕴含的巨🔌大市场潜力🤼♂️💣。尽管组⚙合式推理的愿景💥很美好，但一个关⬛🚀键的现实问题是，🎩🐡形式化规🍏约需要靠人🇲🇬类专家💵用极其严谨的数🤹♀️↘学公式手写，人力🚢成本高昂🇺🇳🚞。2017年10月🗑🚀，作为在沙特☄利雅得召开🇩🇰🎪的“未来投资🍂计划峰会”🤵🇯🇪的座上宾👩👧👧，他说：软银愿⛳景基金🇬🇦🇧🇱投资的主要方🍁🇳🇴向，是AI🍨👩❤️💋👩。
过去很多年，全球🛋🥘大型可☹😲回收商业火😾箭这件事，🦐🤧几乎只有🎼🚒 SpaceX🎆 一家公司在定👌义节奏🇪🇺🇨🇨。换电次数更少更🧽短，“闪电”自然👩🦱👨👦👦一骑绝尘🥯。而在国内地方层🇨🇲🚖面，上海、四川🏋️♀️🎯、安徽等🌮🥮地纷纷抢滩💷🦀AI4S♍赛道⭕🏇。
